cs . L O / 9 81 10 15 11 N ov 1 99 8 An Emptiness Algorithm for Regular Types withSet

نویسندگان

  • Lunjin Lu
  • John G. Cleary
چکیده

An algorithm to decide the emptiness of a regular type expression with set operators given a set of parameterised type deenitions is presented. The algorithm can also be used to decide the equivalence of two regular type expressions and the inclusion of one regular type expression in another. The algorithm strictly generalises previous work in that tuple distributivity is not assumed and set operators are permitted in type expressions.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

ar X iv : n uc l - th / 9 81 10 45 v 1 1 2 N ov 1 99 8 Alternative evaluations of halos in nuclei

Data for the scattering of 6 He, 8 He, 9 Li, and 11 Li from hydrogen are analyzed within a fully microscopic folding model of proton-nucleus scattering. Current data suggest that of these only 11 Li has a noticeable halo. The available data for the 6 Li(γ, π +) 6 He gs reaction support the conclusion that 6 He does not.

متن کامل

ar X iv : h ep - l at / 9 41 10 15 v 1 9 N ov 1 99 4 1 Instanton size distributions from calibrated cooling

Using an under-relaxed cooling algorithm we investigated the vacuum in the 2d O(3) model and 4d pure gauge SU (2). We calibrated the amount of cooling performed to have similar physical effect at different lattice spacings.

متن کامل

Exploiting Data-Independence for Fast Belief-Propagation

MAP-inference in graphical models requires that we maximize the sum of two terms: a datadependent term, encoding the conditional likelihood of a certain labeling given an observation, and a data-independent term, encoding some prior on labelings. Often, the data-dependent factors contain fewer latent variables than the data-independent factors. We note that MAPinference in any such graphical mo...

متن کامل

ar X iv : n uc l - ex / 9 61 10 01 v 1 5 N ov 1 99 6 π + + d → p + p reaction between 18 and 44 MeV

A study of the reaction π+ + d → p+ p has been performed in the energy range of 18 – 44 MeV. Total cross sections and differential cross sections at six angles have been measured at 15 energies with an energy increment of 1 – 2 MeV. This is the most systematic data set in this energy range. No structure in the energy dependence of the cross section has been observed within the accuracy of this ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1998